16. 共轭定理
假定
作为辅助的一步,我们先证明
群
定义:强伴随表示幂零
设
记全体强伴随表示幂零元为
附注
- 注意:
在 作用下稳定,由此有 。 - 我们更喜欢在
上工作,而不是 :因为其有更好的函子性质。
事实上,若半单, 是 的子代数,则显然有 。这允许我们去定义 的子群 ,其由各 生成。则 可单纯地由在 限制到 得到。相反地,如果我们取任一 使 幂零,我们没办法控制 ,因此找不到 与 之间的关系。
引理:满同态保持非零特征值根子空间特征值
若
引理:
设
证明: 只需在
可解情型下 CSA 的共轭性
定理
设